University of Graz - PDFSEARCH.IO - Document Search Engine

University of Graz
Results: 427

#	Item
61	PARTY Parameterized Synthesis of Token Rings? Ayrat Khalimov, Swen Jacobs, and Roderick Bloem Graz University of Technology, Austria Abstract. Synthesis is the process of automatically constructing an implementation fro Add to Reading List Source URL: www.swenjacobs.com - Date: 2013-04-09 09:22:52
62	Revocation in Group Signature Schemes Advisor(s): Daniel Slamanig and Raphael Spreitzer Institute for Applied Information Processing and Communications (IAIK) Graz University of Technology, Austria Motivation Add to Reading List Source URL: www.iaik.tugraz.at - Date: 2015-11-30 11:00:03
63	Compiler Assisted Software Hardening Advisor(s): Mario Werner Institute for Applied Information Processing and Communications (IAIK) Graz University of Technology, Austria Literature Add to Reading List Source URL: www.iaik.tugraz.at - Date: 2015-09-08 06:00:03
64	Framework for automated cryptanalysis of authenticated ciphers Advisor(s): Florian Mendel Institute for Applied Information Processing and Communications (IAIK) Graz University of Technology, Austria Add to Reading List Source URL: www.iaik.tugraz.at - Date: 2015-09-08 06:00:03
65	Tower Extensions of Finite Fields Advisor(s): Christian Hanser and Sebastian Ramacher Institute for Applied Information Processing and Communications (IAIK) Graz University of Technology, Austria Motivation Add to Reading List Source URL: www.iaik.tugraz.at - Date: 2015-09-08 06:00:03
66	Property-based Testing with FsCheck by Deriving Properties from Business Rule Models Bernhard K. Aichernig and Richard Schumi Institute of Software Technology, Graz University of Technology, Austria {aichernig,rschumi}@i Add to Reading List Source URL: truconf.ist.tugraz.at - Date: 2016-03-04 10:37:40
67	Secure AES Implementation on a 32-bit RISC-V Processor Advisor(s): Hannes Groß Institute for Applied Information Processing and Communications (IAIK) Graz University of Technology, Austria Add to Reading List Source URL: www.iaik.tugraz.at - Date: 2016-02-24 05:00:01
68	Probabilistic Inference in General Graphical Models through Sampling in Stochastic Networks of Spiking Neurons Dejan Pecevski, Lars Buesing¤, Wolfgang Maass Institute for Theoretical Computer Science, Graz University o Add to Reading List Source URL: www.gatsby.ucl.ac.uk - Date: 2014-10-13 19:51:18*
69	PROBLEMS OF STANDARDIZATION OF MANUSCRIPT DESCRIPTION Erich Renhart University of Graz, University Library Department of Special Collections & Vestigia Centre for the Study of Printed and Written Heritage Add to Reading List Source URL: theta.ffzg.hr - Date: 2015-09-10 09:31:36
70	Lattice-Based Cryptography in Java Advisor(s): Christian Hanser and Sebastian Ramacher Institute for Applied Information Processing and Communications (IAIK) Graz University of Technology, Austria Motivation Add to Reading List Source URL: www.iaik.tugraz.at - Date: 2015-09-08 06:00:03

UPDATE